Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 12:37
    Philippus commented #2261
  • 12:37

    Philippus on main

    Fix the syntax error in the sbt… Merge pull request #2261 from A… (compare)

  • 12:37
    Philippus closed #2261
  • 09:48
    lrytz opened #801
  • 09:48

    mlachkar on main

    add fr getting started page (#2… (compare)

  • 09:48
    mlachkar closed #2245
  • 09:35
    lrytz commented #12494
  • 09:35
    lrytz commented #12494
  • 09:34
    lrytz commented #12494
  • 09:01

    lrytz on 2.13.x

    Trim Symbol class text Curtailed promise of symbol lit… Merge pull request #9817 from s… (compare)

  • 09:01
    lrytz closed #12507
  • 09:01
    lrytz closed #9817
  • 08:52
    apointeau synchronize #2245
  • 08:51
    xuwei-k labeled #12340
  • 07:58
    scala-jenkins milestoned #9822
  • 07:58
    som-snytt opened #9822
  • 05:59
    Atry edited #2261
  • 05:59
    Atry opened #2261
  • 01:34
    SethTisue commented #12473
  • 01:32
    SethTisue commented #12473
Dominic Egger
@GrafBlutwurst
welp I don't know atto. but I'll still be a rubberduck
Peter Aaser
@PeterAaser
    addi    sp,sp,-32
    sw    ra,28(sp)
    sw    s0,24(sp)
    addi    s0,sp,32
    li    a5,2
    sb    a5,-17(s0)
    lbu    a5,-17(s0)
    mv    a0,a5
    call    isRMS
    mv    a5,a0
    beqz    a5,.L9
lol, pretty colorful
Basile Baranetskyy
@bbb3
I mean two cases:
case MyFirstException(e, ) => println(e)
case MySecondException(e,
)=> println(e)
Peter Aaser
@PeterAaser
I'm pretty much 100% green when it comes to parsing, but here's what I've thought so far
First, instructions don't rely on each other, which is good
one exception is labels, but I handle that in a later pass
Christopher Davenport
@ChristopherDavenport
Ok. I follow so far.
Peter Aaser
@PeterAaser
so I should first make a parser for the opcode (mv, li, beqz et al) which then decides how I should parse the remaining part of the OP
So some function String => Parser[AsmOP]
Here's where I'm getting out of my depth though
In this case a label is a valid AsmOP
Christopher Davenport
@ChristopherDavenport
That would just be flatMap.
Peter Aaser
@PeterAaser
yeah, true
I guess I need a lookuptable for ops
String => Option[?? Parser[OP?]]
Christopher Davenport
@ChristopherDavenport
Or a typeclass for extraction.
Peter Aaser
@PeterAaser
question marks added for confusion pinpointing
Christopher Davenport
@ChristopherDavenport
Also parse it as an option/either, not option of a parser.
As the latter is less compositional.
Peter Aaser
@PeterAaser
Hmm, maybe I should tokenize it
first
Christopher Davenport
@ChristopherDavenport
Likely a good call.
Peter Aaser
@PeterAaser
I mean I did have compiler design back in the day
Christopher Davenport
@ChristopherDavenport
Hard to tell though depending on your case.
Peter Aaser
@PeterAaser
thankfully LALR(1) written in C is not the name of the game anymore :D
Yeh, this is pretty much the first parser I write..
at least asm is pretty easy
Christopher Davenport
@ChristopherDavenport
Here is my cormorant csv parser if that helps at all.
Peter Aaser
@PeterAaser
might be, thanks
Maybe I should read the parser chapter in the red book to get a more fundamental approach
Christopher Davenport
@ChristopherDavenport
I love atto. It's a fun tool.
Peter Aaser
@PeterAaser
How can I cause a parser to fail based on predicate?
Thinking flatMap( x => if(pred(x)) err("reason") else ??? )
Christopher Davenport
@ChristopherDavenport
Failure is one of the options of a parser at any point.
Peter Aaser
@PeterAaser
yes, but I want to have a predicate failure too
I think ok is what I want
Abdhesh Kumar
@abdheshkumar

Anyone has an idea how to override common configuration in included configuration that referenced with environment variable? For example, I have common.conf that has all common configurations and local.conf that override common configurations as per local environment.

common.conf

myapp {
    server-address = ${SERVER_HOSTNAME}
    server-port = ${SERVER_PORT}
}
----------------------
local.conf

include "common"
# override default (Common) settings
myapp {
    server-address = "localhost"
    server-port = 9000
}

while loading local.conf. I am getting below error.

 Could not resolve substitution to a value: ${SERVER_HOSTNAME}
jonathan edwards
@_jedw_twitter
does anyone know what the difference between .contain() and .contains() is?
I believe they are a part of scalatest, but when i search for it I can’t find its definition
the context it’s being used is in this line: items => s"find $itemNum in the available list" >> items.map(_.itemNumber).should(contain(itemNum))
Abdhesh Kumar
@abdheshkumar
@_jedw_twitter contains must be inside scalatest Matchers
Vinayak Pathak
@vinayakpathak

I wasted a day struggling with this:

trait Model {
  type State
}

trait Algorithm {
  val model: Model
  type State = model.State

  def infer: State
}

val m: Model = new Model {
  type State = Int
}

val a = new Algorithm {
  val model = m

  def infer = 1
}

This throws an error:

ScalaFiddle.scala:21: error: type mismatch;
 found   : scala.this.Int(1)
 required: $anon.this.State
    (which expands to)  $anon.this.model.State
    def infer = 1
                ^

I stared at the longest time on the definition of val a because that's where the error was coming from, but eventually realized the cause was my definition of val m. If I remove the : Model and make it val m = new Model {...} it works.

Abdhesh Kumar
@abdheshkumar
@_jedw_twitter here you could find more about matchers http://www.scalatest.org/user_guide/using_matchers
Fabio Labella
@SystemFw

If I remove the : Model and make it val m = new Model {...} it works.

yes

when you do : Model you remove the refinement
which is inferred otherwise
it should bem: Model {type State = Int }
Vinayak Pathak
@vinayakpathak
yeah that's interesting
Fabio Labella
@SystemFw
you can look into the Aux pattern as well to see a shorthand